Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Adel Bouhoula »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Adel Belkadi < Adel Bouhoula < Adel El-Atawy  Facettes :

List of bibliographic references indexed by Adel Bouhoula

Number of relevant bibliographic references: 41.
[0-20] [0 - 20][0 - 41][20-40]
Ident.Authors (with country if any)Title
002E95 (2010) Tarek Abbes ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France]Efficient Decision Tree for Protocol Analysis in Intrusion Detection
004603 (2008) Tarek Abbes ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France]An inference system for detecting firewall filtering rules anomalies
006661 (2004-04) Tarek Abbes [France] ; Adel Bouhoula ; Michaël Rusinowitch [France]Protocol Analysis in Intrusion Detection Using Decision Tree
006840 (2004) Tarek Abbes ; Adel Bouhoula ; Michael RusinowitchOn the Fly Pattern Matching For Intrusion Detection with Snort
006845 (2004) Tarek Abbes ; Adel Bouhoula ; Michael RusinowitchProtocol Analysis in Intrusion Detection Using Decision Tree
006B57 (2004) Tarek Abbes [France] ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France]On the fly pattern matching for intrusion detection with Snort
006C95 (2004) Tarek Abbes [France] ; Adel Bouhoula [Tunisie] ; Michaël Rusinowitch [France]Protocol analysis in intrusion detection using decision tree
007216 (2003-07) Tarek Abbes [France] ; Adel Bouhoula ; Michaël Rusinowitch [France]Filtrage Efficace Pour la Détection d'Intrusions
007861 (2003) Tarek Abbes ; Adel Bouhoula ; Michael RusinowitchFiltrage Efficace Pour la Détection d'Intrusions
008609 (2002) Adel Bouhoula ; Michael RusinowitchObservational proofs by rewriting
008902 (2002) Adel Bouhoula [Tunisie] ; Michaël Rusinowitch [France]Observational proofs by rewriting
009A51 (2000) Adel Bouhoula ; Jean-Pierre Jouannaud ; José MeseguerSpecification and Proof in Membership Equational Logic
009D11 (2000) Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis]Specification and proof in membership equational logic
00A696 (1999) Adel Bouhoula ; Ahmed Jebali ; Michael RusinowitchReasoning about Object Behaviours with Rewriting.
00A765 (1999) Adel BouhoulaSimultaneous Checking of Completeness and Ground Confluence
00A790 (1999) Adel BouhoulaA New Procedure for Simultaneously Checking Completeness and Ground Confluence
00AC32 (1999) Adel Bouhoula [France]Simultaneous Checking of Completeness and Ground Confluence
00AC51 (1999) Adel Bouhoula [France] ; Ahmed Jebali [France] ; Michaël Rusinowitch [France]Reasoning about Object Behaviours with Rewriting.
00AD67 (1999) Adel Bouhoula [France]A New Procedure for Simultaneously Checking Completeness and Ground Confluence
00AF78 (1998) Adel BouhoulaMécanisation du Raisonnement par Récurrence
00B093 (1998) Narjes Berregeb ; Adel Bouhoula ; Michaël RusinowitchObservational Proofs with Critical Contexts

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Adel Bouhoula" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Adel Bouhoula" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Adel Bouhoula
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022